Considerations Concerning Balacheff’s 1988 Taxonomy of Mathematical Proofs
نویسندگان
چکیده
منابع مشابه
Veriied Proofs concerning Functional Programs
In this paper the development of automatically veriied proofs for functional programs is examined. This examination is made on the basis of a small functional program written in the functional language clean. For this program a proof is constructed in the proof system coq. This proof is automatically veriied by coq. The functional program presented contains two function-constructors for the cla...
متن کاملComputer Understanding of Mathematical Proofs
Mathematical proofs c o n s t i t u t e a mix ture of formulas w i t h a subset of na tu ra l language. They can be represented as a sequence of l i n e s express i b l e in the symbolism of p red ica te ca l cu lus . The t r a n s i t i o n from step to step may depend on a ser ies o f l o g i c a l manipulat ions and/or on i n t r i cate mathematical knowledge associated w i t h the domain...
متن کاملEthical considerations concerning laser medicine.
In 1996 approximately 1 million cosmetic laser treatments were performed; the estimated projection for 2000 is 3.4 million. The turnover for photoepilation systems alone has increased from 85 million dollars in 1997 to 185 million dollars in 1999 (1).There is hardly any other therapy that bears the weight of such high expectations on the part of patients and physicians; no other medical procedu...
متن کاملTwo Short Proofs Concerning Tree-Decompositions
The main purpose of this note is to give a short proof of Thomas’s theorem that every finite graph has a linked tree-decomposition of width no greater than its tree-width [ 9 ]. This is a useful tool in the theory of tree-decompositions; for example, it is a key lemma in Robertson & Seymour’s proof of the fact that every set of graphs of bounded tree-width is well-quasi-ordered [ 7 ]. This latt...
متن کاملMathematical Results concerning Kernel Techniques
that are intended to reproduce observational input/output data pairs (xj ; yj) in the sense F (xj) yj . Such functions have been studied in a general mathematical context for quite some time, and this contribution reviews part of the known facts and provides links to a subset of the background literature. Special emphasis is given to questions of optimality and complexity within the context of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EURASIA Journal of Mathematics, Science and Technology Education
سال: 2011
ISSN: 1305-8223
DOI: 10.12973/ejmste/75192